Luigia Petre: tražiti na sajtu Z-Library

Slobodan pristup znanju i kulturi.

Don't use scam websites

Knjige (7)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre, Luigia Petre, Kaisa Sere, Elena Troubitsyna

Godina:

2011

Jezik:

english

Fajl:

PDF, 4.49 MB

0 / 0

english, 2011

2

From action systems to distributed systems: the refinement approach

From action systems to distributed systems: the refinement approach

Petre, Luigia, Sekerinski, Emil

Godina:

2016

Jezik:

english

Fajl:

PDF, 20.91 MB

0 / 0

english, 2016

3

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 2.79 MB

0 / 0

english, 2002

4

From action systems to distributed systems: the refinement approach

From action systems to distributed systems: the refinement approach

Petre, Luigia, Sekerinski, Emil

Godina:

2016

Jezik:

english

Fajl:

PDF, 20.94 MB

0 / 0

english, 2016

5

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Godina:

2013

Jezik:

english

Fajl:

PDF, 7.94 MB

0 / 0

english, 2013

6

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 3.92 MB

0 / 0

english, 2002

7

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Springer International Publishing

Brijesh Dongol, Luigia Petre, Graeme Smith

Godina:

2019

Jezik:

english

Fajl:

PDF, 10.10 MB

0 / 0

english, 2019